/**
 * \file util.h
 * \author Davide Gessa
 * \date 10-12-09
 */
#ifndef UTIL_H
#define UTIL_H

#include <types.h>

void show_task_message_list(pid_t);
void show_used_memory();
int task1(int, char **);
int task2(int, char **);

#endif
